Problems and Solutions for Markup for Mathematical Examples and Exercises
نویسندگان
چکیده
This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions. The observations described arose from trying to represent mathematical knowledge with the goal to present it according to several wellestablished teaching strategies for mathematics through the learning environment ActiveMath. The main concern here is with examples, exercises, and proofs. keywords: knowledge representation, markup for mathematics documents
منابع مشابه
UNBOUNDEDNESS IN MOILP AND ITS EFFICIENT SOLUTIONS
In this paper we investigate Multi-Objective Integer Linear Programming (MOILP) problems with unbounded feasible region and introduce recession direction for MOILP problems. Then we present necessary and sufficient conditions to have unbounded feasible region and infinite optimal values for objective functions of MOILP problems. Finally we present some examples with unbounded feasible region and fi...
متن کاملInitial Value Problems for Fourth-Order Fuzzy Differential Equations by Fuzzy Laplace Transform
This paper is on the solutions of fuzzy initial value problems for fourth-order fuzzy differential equations with positive and negative fuzzy coefficients by fuzzy Laplace transform. Examples are solved. Conclusions are given.
متن کاملA Neural Network Method Based on Mittag-Leffler Function for Solving a Class of Fractional Optimal Control Problems
In this paper, a computational intelligence method is used for the solution of fractional optimal control problems (FOCP)'s with equality and inequality constraints. According to the Ponteryagin minimum principle (PMP) for FOCP with fractional derivative in the Riemann- Liouville sense and by constructing a suitable error function, we define an unconstrained minimization problem. In the optimiz...
متن کاملAn application of differential transform method for solving nonlinear optimal control problems
In this paper, we present a capable algorithm for solving a class of nonlinear optimal control problems (OCP's). The approach rest mainly on the differential transform method (DTM) which is one of the approximate methods. The DTM is a powerful and efficient technique for finding solutions of nonlinear equations without the need of a linearization process. Utilizing this approach, the optimal co...
متن کاملNON-POLYNOMIAL SPLINE SOLUTIONS FOR SPECIAL NONLINEAR FOURTH-ORDER BOUNDARY VALUE PROBLEMS
We present a sixth-order non-polynomial spline method for the solutions of two-point nonlinear boundary value problem u(4)+f(x,u)=0, u(a)=α1, u''(a)= α2, u(b)= β1,u''(b)= β2, in off step points. Numerical method of sixth-order with end conditions of the order 6 is derived. The convergence analysis of the method has been discussed. Numerical examples are presented to illustrate the applications ...
متن کامل